[prev] [prev-tail] [tail] [up]

Integrals 201 to 254

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

410 410 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.171 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 80 63 371 69 410 61 105

N.S.

1 1.00 1.18 0.93 5.46 1.01 6.03 0.90 1.54

time (sec)

N/A 0.069 0.410 0.559 0.236 0.251 0.695 0.285 20.682

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 106 89 620 118 1027 80 177

N.S.

1 1.00 1.20 1.01 7.05 1.34 11.67 0.91 2.01

time (sec)

N/A 0.084 0.855 0.820 0.248 0.265 1.525 0.283 20.801

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 158 133 1362 192 2003 129 469

N.S.

1 1.00 1.10 0.92 9.46 1.33 13.91 0.90 3.26

time (sec)

N/A 0.130 1.681 1.634 0.304 0.254 5.433 0.290 22.053

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F F(-1) F F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

600 600 0 0 0 0 0 0 0

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.951 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 91 90 789 115 932 89 494

N.S.

1 1.00 0.94 0.93 8.13 1.19 9.61 0.92 5.09

time (sec)

N/A 0.097 0.596 0.767 0.328 0.252 2.085 0.277 22.340

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 153 127 1360 189 2030 124 437

N.S.

1 1.00 1.11 0.92 9.86 1.37 14.71 0.90 3.17

time (sec)

N/A 0.117 1.740 1.632 0.307 0.269 6.366 0.293 23.522

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 177 190 2612 291 3584 181 997

N.S.

1 1.00 0.91 0.97 13.39 1.49 18.38 0.93 5.11

time (sec)

N/A 0.160 1.863 3.316 0.439 0.269 18.196 0.286 26.109

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

277 277 181 0 0 0 0 0 0

N.S.

1 1.00 0.65 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.667 2.469 0.000 0.000 0.000 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 87 84 912 106 918 84 297

N.S.

1 1.00 0.96 0.92 10.02 1.16 10.09 0.92 3.26

time (sec)

N/A 0.084 0.678 0.759 0.254 0.255 2.118 0.302 23.191

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 71 57 414 66 405 56 97

N.S.

1 1.00 1.15 0.92 6.68 1.06 6.53 0.90 1.56

time (sec)

N/A 0.059 0.884 0.488 0.241 0.250 0.766 0.315 21.926

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 40 40 42 155 40 85

N.S.

1 1.00 1.00 0.93 0.93 0.98 3.60 0.93 1.98

time (sec)

N/A 0.045 0.258 0.341 0.228 0.255 0.348 0.299 22.102

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 69 73 31 435 158 112

N.S.

1 1.00 1.00 2.56 2.70 1.15 16.11 5.85 4.15

time (sec)

N/A 0.020 0.295 1.101 0.239 0.255 4.323 0.299 23.072

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C B B F(-2) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 88 115 387 69 0 248 254

N.S.

1 1.00 2.59 3.38 11.38 2.03 0.00 7.29 7.47

time (sec)

N/A 0.039 0.144 1.950 0.422 0.250 0.000 0.306 26.084

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-2) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 34 40 391 42 0 174 0

N.S.

1 1.00 0.89 1.05 10.29 1.11 0.00 4.58 0.00

time (sec)

N/A 0.050 0.204 2.115 0.238 0.246 0.000 0.308 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 64 191 1424 94 0 495 0

N.S.

1 1.00 0.96 2.85 21.25 1.40 0.00 7.39 0.00

time (sec)

N/A 0.060 0.540 8.446 0.441 0.250 0.000 0.312 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 48 76 1074 53 0 327 0

N.S.

1 1.00 0.81 1.29 18.20 0.90 0.00 5.54 0.00

time (sec)

N/A 0.057 0.401 5.163 0.253 0.278 0.000 0.318 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 78 259 3096 107 0 756 0

N.S.

1 1.00 0.83 2.76 32.94 1.14 0.00 8.04 0.00

time (sec)

N/A 0.069 1.114 49.844 0.524 0.264 0.000 0.322 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

386 386 242 0 0 0 0 0 0

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.769 1.459 0.000 0.000 0.000 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 76 63 371 70 410 61 105

N.S.

1 1.00 1.12 0.93 5.46 1.03 6.03 0.90 1.54

time (sec)

N/A 0.066 0.915 0.540 0.244 0.249 0.720 0.277 21.078

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 108 89 620 108 1027 80 177

N.S.

1 1.00 1.23 1.01 7.05 1.23 11.67 0.91 2.01

time (sec)

N/A 0.082 0.894 0.841 0.309 0.259 1.630 0.285 22.329

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 158 133 1362 174 2003 129 495

N.S.

1 1.00 1.10 0.92 9.46 1.21 13.91 0.90 3.44

time (sec)

N/A 0.116 1.767 1.556 0.329 0.257 5.685 0.300 22.447

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

568 568 329 0 0 0 0 0 0

N.S.

1 1.00 0.58 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.353 2.602 0.000 0.000 0.000 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 97 90 90 785 116 932 89 471

N.S.

1 1.00 0.93 0.93 8.09 1.20 9.61 0.92 4.86

time (sec)

N/A 0.084 0.564 0.723 0.284 0.258 2.038 0.289 21.981

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 153 127 1360 179 2020 124 438

N.S.

1 1.00 1.11 0.92 9.86 1.30 14.64 0.90 3.17

time (sec)

N/A 0.108 1.952 1.635 0.308 0.269 5.640 0.288 22.242

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 176 190 2612 264 3577 181 951

N.S.

1 1.00 0.90 0.97 13.39 1.35 18.34 0.93 4.88

time (sec)

N/A 0.162 1.820 2.969 0.397 0.275 17.956 0.290 25.692

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 58 70 106 30 333 482 115

N.S.

1 1.00 2.15 2.59 3.93 1.11 12.33 17.85 4.26

time (sec)

N/A 0.020 0.278 1.086 0.239 0.257 4.536 0.332 0.861

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 90 115 450 71 3264 893 252

N.S.

1 1.00 2.57 3.29 12.86 2.03 93.26 25.51 7.20

time (sec)

N/A 0.039 0.200 1.484 0.250 0.248 61.014 0.415 26.291

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 35 36 395 45 0 327 0

N.S.

1 1.00 0.92 0.95 10.39 1.18 0.00 8.61 0.00

time (sec)

N/A 0.048 0.246 1.580 0.228 0.253 0.000 0.328 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 70 186 1027 376 0 0 0

N.S.

1 1.00 0.97 2.58 14.26 5.22 0.00 0.00 0.00

time (sec)

N/A 0.087 0.421 0.273 0.417 0.279 0.000 0.000 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C B B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 109 143 520 315 0 0 294

N.S.

1 1.00 2.48 3.25 11.82 7.16 0.00 0.00 6.68

time (sec)

N/A 0.049 0.115 0.218 0.430 0.282 0.000 0.000 27.602

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C B B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 94 99 131 188 0 0 227

N.S.

1 1.00 3.24 3.41 4.52 6.48 0.00 0.00 7.83

time (sec)

N/A 0.019 0.058 0.210 0.386 0.259 0.000 0.000 26.036

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 93 95 105 197 0 226 233

N.S.

1 1.00 3.21 3.28 3.62 6.79 0.00 7.79 8.03

time (sec)

N/A 0.022 0.092 0.224 0.260 0.265 0.000 0.298 25.237

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 111 143 612 316 0 577 290

N.S.

1 1.00 2.41 3.11 13.30 6.87 0.00 12.54 6.30

time (sec)

N/A 0.043 0.149 0.303 0.309 0.253 0.000 0.312 25.766

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 71 184 1254 372 0 870 0

N.S.

1 1.00 0.96 2.49 16.95 5.03 0.00 11.76 0.00

time (sec)

N/A 0.090 0.426 0.404 0.317 0.269 0.000 0.359 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

143 143 116 0 0 0 0 0 0

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.131 2.081 0.000 0.000 0.000 0.000 0.000 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

139 139 260 0 0 0 0 0 0

N.S.

1 1.00 1.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.132 5.365 0.000 0.000 0.000 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 91 85 84 914 109 918 84 313

N.S.

1 1.00 0.93 0.92 10.04 1.20 10.09 0.92 3.44

time (sec)

N/A 0.084 0.532 0.743 0.301 0.262 2.017 0.292 22.875

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 69 57 416 63 405 56 98

N.S.

1 1.00 1.11 0.92 6.71 1.02 6.53 0.90 1.58

time (sec)

N/A 0.056 0.860 0.518 0.269 0.247 0.761 0.292 22.135

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 40 40 42 153 40 84

N.S.

1 1.00 1.00 0.93 0.93 0.98 3.56 0.93 1.95

time (sec)

N/A 0.044 0.196 0.301 0.250 0.239 0.318 0.291 22.303

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 66 74 31 435 440 109

N.S.

1 1.00 1.00 2.54 2.85 1.19 16.73 16.92 4.19

time (sec)

N/A 0.020 0.145 1.076 0.250 0.249 3.516 0.337 22.258

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C B A F(-2) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 89 119 391 69 0 1341 246

N.S.

1 1.00 2.54 3.40 11.17 1.97 0.00 38.31 7.03

time (sec)

N/A 0.034 0.120 2.015 0.398 0.253 0.000 0.381 26.915

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-2) B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 35 26 382 40 0 315 0

N.S.

1 1.00 0.92 0.68 10.05 1.05 0.00 8.29 0.00

time (sec)

N/A 0.046 0.233 2.056 0.256 0.257 0.000 0.339 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 158 133 1362 163 2006 129 495

N.S.

1 1.00 1.10 0.92 9.46 1.13 13.93 0.90 3.44

time (sec)

N/A 0.112 1.683 1.516 0.311 0.270 5.658 0.308 24.014

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 88 105 89 620 105 1027 80 177

N.S.

1 1.00 1.19 1.01 7.05 1.19 11.67 0.91 2.01

time (sec)

N/A 0.084 0.861 0.806 0.286 0.257 1.598 0.284 21.378

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 195 176 190 2614 240 3584 181 999

N.S.

1 1.00 0.90 0.97 13.41 1.23 18.38 0.93 5.12

time (sec)

N/A 0.163 1.801 3.503 0.417 0.268 17.687 0.285 25.158

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 70 181 1027 366 0 0 0

N.S.

1 1.00 0.97 2.51 14.26 5.08 0.00 0.00 0.00

time (sec)

N/A 0.101 0.449 0.345 0.389 0.279 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C B B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 111 149 526 316 0 0 285

N.S.

1 1.00 2.41 3.24 11.43 6.87 0.00 0.00 6.20

time (sec)

N/A 0.052 0.122 0.260 0.430 0.271 0.000 0.000 26.595

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C B B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 93 97 131 196 0 0 237

N.S.

1 1.00 3.10 3.23 4.37 6.53 0.00 0.00 7.90

time (sec)

N/A 0.020 0.060 0.207 0.402 0.271 0.000 0.000 25.712

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 94 93 105 190 0 234 231

N.S.

1 1.00 3.24 3.21 3.62 6.55 0.00 8.07 7.97

time (sec)

N/A 0.022 0.069 0.241 0.268 0.259 0.000 0.324 26.573

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 112 145 613 316 0 627 289

N.S.

1 1.00 2.43 3.15 13.33 6.87 0.00 13.63 6.28

time (sec)

N/A 0.053 0.123 0.292 0.253 0.278 0.000 0.326 27.018

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 71 179 1254 385 0 963 0

N.S.

1 1.00 0.97 2.45 17.18 5.27 0.00 13.19 0.00

time (sec)

N/A 0.104 0.390 0.405 0.250 0.272 0.000 0.375 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

134 134 114 0 0 0 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.134 1.645 0.000 0.000 0.000 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

130 130 108 0 0 0 0 0 0

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.157 1.667 0.000 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]